All: If(Empty(x), true, If(Empty(Tail(x)), Head(x), If(Head(x), All(Tail(x)), false)))

type Implementation function All composition

If(Empty(x), true, If(Empty(Tail(x)), Head(x), If(Head(x), All(Tail(x)), false)))

type Function call function If condition

Empty(x)

type Function call function Empty list

x

type Argument reference reference Z10081K1

then true else

If(Empty(Tail(x)), Head(x), If(Head(x), All(Tail(x)), false))

type Function call function If condition

Empty(Tail(x))

type Function call function Empty list

Tail(x)

type Function call function Tail list

x

type Argument reference reference Z10081K1

then

Head(x)

type Function call function Head list

x

type Argument reference reference Z10081K1

else

If(Head(x), All(Tail(x)), false))

type Function call function If condition

Head(x)

type Function call function Head list

x

type Argument reference reference Z10081K1

then

All(Tail(x))

type Function call function All list

Tail(x)

type Function call function Tail list

x

type Argument reference reference Z10081K1

else false